English recursive function theory: תרגום לשפות אחרות